381. Automated technology for verification and analysis
Author: Zhiming Liu, Anders P. Ravn (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
A88
2009
382. Automated technology for verification and analysis :
Author: Shuvendu K. Lahiri, Chao Wang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
A96
383. Automated technology for verification and analysis :
Author: Tevfik Bultan, Pao-Ann Hsiung (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
A88
2011
384. Automated technology for verification and analysis
Author: / Kedar S. Namjoshi ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Automatic theorem proving--Congresses
Classification :
QA
,
76
.
9
,.
A96
,
A82
,
2006
385. Automatic Re-Engineering of Software Using Genetic Programming
Author: / BY Conor Ryan
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Genetic Programming(Computer Science),Software Reengineering
Classification :
QA76
.
623
.
R93
2000
386. Automatic programming applied to vlsi cad software: A case study
Author: by Dorothy E. Setliff and Rob A. Rutenbar
Library: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
Subject: Automatic programming (computer science),Computer - aided design,Integrated circuits - Large scale integration
Classification :
QA
,
76
.
6
,.
S468
,
1990
387. Automatic re-engineering of software using genetic programming
Author: / by Conor Ryan
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Genetic programming (Computer science),Software reengineering
Classification :
QA76
.
623
.
R93
2000
388. Automatic re-engineering of software using genetic programming
Author: / by Conor Ryan
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Genetic programming (Computer science),Software reengineering
Classification :
QA76
.
623
.
R93
2000
389. Automatic test case generation with dynamic symbolic execution for programs that are coded against interfaces and annotations or use native code
Author: Mainul Islam
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Applied sciences;Automatic test case generation;Software engineering;Software testing;Software/program reliability;Testing tool
390. Automating Instructional Design:
Author: edited by Robert D. Tennyson, Ann E. Barron.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Educational technology.,Software engineering.
391. Automating Instructional Design, Development, and Delivery
Author: edited by Robert D. Tennyson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.
Classification :
LB1028
.
38
E358
1994
392. Automating with SIMATIC
Author: by Hans Berger
Library: Central Library of Ahvaz Faculty of Petroleum (Khuzestan)
Subject: Programmable controllers,STEP 7 (Computer program language),SIMATIC S7 (Computer system)
Classification :
TJ
,
223
,.
P76
,
B46797
,
2006
393. Automating with SIMATIC
Author: / by Hans Berger
Library: Ilam University Central Library (Ilam)
Subject: Programmable controllers,STEP 7 (Computer program language),SIMATIC S7 (Computer system)
Classification :
TJ223
.
P76
,
B46797
2006
394. Automating with SIMATIC
Author: / by Hans Berger
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Programmable controllers,STEP 7 (Computer program language),SIMATIC S7 (Computer system)
Classification :
TJ
223
.
P76B46797
2009
395. Automating with SIMATIC
Author: / by Hans Berger
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Programmable controllers,STEP 7 (Computer program language),SIMATIC S7 (Computer system)
Classification :
TJ
223
.
P76B46797
2006
396. Automating with SIMATIC :
Author: by Hans Berger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programmable controllers.,SIMATIC S7 (Computer system),STEP 7 (Computer program language)
397. Automating with SIMATIC
Author: / by Hans Berger
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: SIMATIC S7 (Computer system),STEP 7 (Computer program language),Programmable controllers,Automation
Classification :
TJ223
.
P76
,
B467
398. Automating with SIMATIC : Controllers, Software, Programming, Data
Author: / Berger, Hans
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: CONTROL SYSTEMS|ENGINEERING, MECHANICAL|ENGINEERING, MULTIDISCIPLINARY& ENGINEERING (uncategorised)|AUTOMATION &COMPUTER SCIENCE
Classification :
E-BOOK
399. Automating with SIMATIC :controllers, software, programming, data communication, operator control and process monitoring
Author: Berger, Hans
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Programmable controllers,، STEP 7 )Computer program language(,، SIMATIC S7 )Computer system(
Classification :
TJ
223
.
P76B46797
2009
400. Automating with SIMATIC :controllers, software, programming, data communication, operator control and process monitoring
Author: Berger, Hans
Library: (Semnan)
Subject: ، Programmable controllers,، STEP 7 )Computer program language(,، SIMATIC S7 )Computer system(
Classification :
TJ
223
.
P76B46797
2009
